Computer Science Logic – alle Bücher online kaufen

Wir konnten keine exakten Treffer zu Ihrer Suche nach "computer science logic" finden. Könnten diese Produkte zu Ihrer Suche passen?

Samson Abramsky on Logic and Structure in Computer Science and Beyond

Outstanding Contributions to Logic -Band 25

Samson Abramsky s wide-ranging contributions to logical and structural aspects of Computer Science have had a major influence on the field. This book is a rich collection of papers, inspired by and extend…

lieferbar innerhalb 2-3 Wochen

2 Bücher

EUR 175,23*

Lech T. Polkowski
Logic: Reference Book for Computer Scientists

Intelligent Systems Reference Library -Band 245

The book gives all interested in computer science, a deep review of relevant aspects of logic. In its scope are classical and non-classical logics. The content will be valid as well for those interested i…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 219,03*

Guide to Software Verification with Frama-C

Computer Science Foundations and Applied Logic

Frama-C is a popular open-source toolset for analysis and verification of C programs, largely used for teaching, experimental research, and industrial applications. With the growing complexity and ubiqui…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 69,33*

Kenneth J. Supowit
Algorithms for Constructing Computably Enumerable Sets

Computer Science Foundations and Applied Logic

Logicians have developed beautiful algorithmic techniques for the construction of computably enumerable sets. This textbook presents these techniques in a unified way that should appeal to computer scient…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,99*

William M. Farmer
Simple Type Theory

Computer Science Foundations and Applied Logic

This unique textbook, in contrast to a standard logic text, provides the reader with a logic that actually can be used in practice to express and reason about mathematical ideas. The book is an introducti…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 63,99*

Raymond Devillers, Eike Best
Petri Net Primer

Computer Science Foundations and Applied Logic

Petri nets model concurrent and distributed systems where active components communicate through the production and absorption of various kinds of resources. Although the dynamic properties of such systems…

lieferbar innerhalb 2-3 Wochen

Buch

EUR 85,33*

Simon J. D. Prince
Understanding Deep Learning

"This book covers modern deep learning and tackles supervised learning, model architecture, unsupervised learning, and deep reinforcement learning"--

lieferbar innerhalb 1-2 Wochen

Buch

EUR 104,60*

Decision-Making Models

Decision Making Models: A Perspective of Fuzzy Logic and Machine Learning presents the latest developments in the field of uncertain mathematics and decision science. The book aims to deliver a systematic…

lieferbar in mind. 4 Wochen

Buch

EUR 187,56*

-22%

Krishnendu Chaudhury
Math and Architectures of Deep Learning

Math and Architectures of Deep Learning bridges the gap between theory and practice, laying out the math of deep learning side by side with practical implementations in Python and PyTorch. YouGÇÖll peer i…

sofort lieferbar

EUR 57,43**

Buch

EUR 44,67*

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.